1. Compability theory, Semantics, and logic programming
پدیدآورنده : Melvin C. Fitting
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Computable functions,Data structures (computer science)
رده :
QA
9
.
59
.
F58
1986